1. Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
پدیدآورنده: Puppis, Gabriele
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Machine theory,، Computer science,، Software engineering,، Computer software,، Logic design,، Artificial intelligence
رده :
QA
267
.
P87
2010
2. Implementation and Application of Functional Languages
پدیدآورنده: edited by Sven-Bodo Scholz, Olaf Chitil.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.,Software engineering.
3. Implementation and Application of Functional Languages
پدیدآورنده: edited by Marco T. Morazán, Sven-Bodo Scholz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.,Software engineering.
4. Logic-Based Program Synthesis and Transformation
پدیدآورنده: edited by María Alpuente.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms.,Artificial intelligence.,Computer science.,Logic design.,Software engineering.
